﻿using System.Collections.Generic;
using System.Diagnostics.Contracts;
using FazaDemo.BL.Services_;

namespace FazaDemo.BL.Services_
{
    [ContractClassFor(typeof(IDataServicePoint<>))]
    abstract class DataServicePointContract<T> : IDataServicePoint<T>
    {

        public IEnumerable<T> Get()
        {
            Contract.Ensures(Contract.Result<IEnumerable<T>>() != null);
            return null;
        }

    }
}
